281. Model theory for infinitely deep languages /
پدیدآورنده: Maaret Karttunen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Infinitary languages.,Model theory.
رده :
QA1
.
S96
no
.
50
282. Model theory for infintary logic; logic with countalble conjunctions and finite quantifiers
پدیدآورنده: / H. Jerome Keisler
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Infinitary languages,Model theory
رده :
511
.
3
K27
283. Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers
پدیدآورنده: Keisler, H. Jerome.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Infinitary languages,، Model theory
رده :
QA
9
.
K33
284. Model theory in algebra, analysis and arithmetic
پدیدآورنده: Dries, Lou Van den.
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع: ، Model theory in algebra,,، analysis and arithmetic
رده :
QA
3
.
M63
2014
285. Model theory of algebra and arithematic
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Arithematic- Congresses ► Algebra- Congresses ► Model theory- Congresses
رده :
513
M689
286. Model theory of algebra and arithmetic
پدیدآورنده: / edited by L. Pacholski, J. Wierzejewski, and A.J. Wilkie
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Model theory -- Congresses
رده :
QA
9
.
7
.
C6
1979
287. Model theory of algebra and arithmetic : Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979
پدیدآورنده: edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Model theory
رده :
QA
3
.
L28
Vol
.
834
288. Model theory of algebra and arithmetic: proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Model theory
رده :
QA
3
.
L28
no
.
834
289. Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979
پدیدآورنده: edited by L. Pacholski, J. Wierzejewski, and A.J. Wilkie
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Model theory
رده :
QA
1
.
L4
v
.
834
290. Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979
پدیدآورنده: / edited by L. Pacholski, J. Wierzejewski, and A.J. Wilkie
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Model theory - Congresses
رده :
QA3
.
L28
,
no
.
834
291. Model theory of algebra and arithmetic: proceedings of the conference on ... held at Karpacz, Poland, September 1-7, 1979
پدیدآورنده: edited by L. Pacholski, J Wierzejewski, and A. J. Wilkie
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Model theory,، Algebraic logic,، Groups, Theory of,، Set theory
رده :
QA
3
.
L28
no
.
834
292. Model theory of fields
پدیدآورنده: David Marker, Margit Messmer, Anand Pillay
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Model theory,، Algebraic fields
رده :
QA
9
.
A1L44
Vol
.
5
2006
293. Model theory of fields
پدیدآورنده: D. Marker, M. Messmer, A. Pillay
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Model theory,، Algebraic fields
رده :
QA
9
.
A1L44
Vol
.
5
294. Model theory of groups and automorphism groups : Blaubeuren, August 1995
پدیدآورنده: edited by David M. Evans
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Model theory,Congresses ، Group theory
رده :
QA
9
.
7
.
M63
295. Model theory of stochastic processes /
پدیدآورنده: by Sergio Fajardo, H. Jerome Keisler
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Model theory,Stochastic processes
رده :
QA274
.
F37
2002
296. Model theory of stochastic processes
پدیدآورنده: by Sergio Fajardo, H. Jerome Keisler
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Stochastic processes,، Model theory
رده :
QA
9
.
A1L44
Vol
.
14
297. Model theory of stochastic processes
پدیدآورنده: Fajardo, Sergio
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Stochastic processes,، Model theory
رده :
QA
274
.
F37
2002
298. Model theory with applications to algebra and analysis
پدیدآورنده: / Zoe Chatzidakis ... [et al.]
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Model theory
رده :
QA
9
.
7
.
M638
2008
299. Model theory with applications to algebra and analysis
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Model theory
رده :
QA
9
.
7
.
M638
2008
300. Model theory with applications to algebra and analysis
پدیدآورنده: Zoe Chatzidakis ... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Model theory
رده :
QA
9
.
7
.
M639
